Linear-time hierarchies for a functional language machine model
نویسندگان
چکیده
منابع مشابه
Linear Time Hierarchies for a Functional Language Machine Model
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well as for an extension of that language based on graph-structured data (F). We consider the Categorical Abstract Machine (CAM), a canonical machine model for implementing higher order functional languages. We show the exist...
متن کاملLinear Time Hierarchies and Functional Languages
y Abstract In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a rst-order functional language based on tree-structured data (F), as well as for an extension of that language based on graph-structured data (F su). We consider the Categorical Abstract Machine (CAM), a canonical machine model for implementing higher order functional languages. We sh...
متن کاملA Fault Tolerant Model for a Functional Language Parallel Machine*
This paper describes a fault tolerant model for a functional language parallel machine. The model is transparent to the user and ensures successful execution of programs in the presence of hardware fadure. The model is based o n data replication. I t takes advantage of the properties of the functional languages. The recovery scheme can be cam‘ed out simultaneously o n all processors, and occurs...
متن کاملTime Hierarchies and Model Reduction in Canonical Non-linear Models
The time-scale hierarchies of a very general class of models in differential equations is analyzed. Classical methods for model reduction and time-scale analysis have been adapted to this formalism and a complementary method is proposed. A unified theoretical treatment shows how the structure of the system can be much better understood by inspection of two sets of singular values: one related t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1998
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(97)00032-4